Inhalt des Dokuments

Diplom

On Application of Process Calculi in the Domain of Peer–to–Peer Algorithms

Mittwoch, 06. August 2008

Betreuer/in: Dr. Johannnes Borgström
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. Ehrig

Schneider, Sven

We propose a framework for the formal verification of such algorithms in terms of a distributed stochastic process calculus. The formal specification and verification can be performed on an associated Markov chain model using the efficiently model-checkable continuous stochastic logic. 

---